Construction of ɛ-nets
نویسندگان
چکیده
منابع مشابه
Concurrent Construction of Proof-Nets
The functional paradigm of computation has been widely investigated and given a solid mathematical foundation, initiated with the Curry-Howard isomorphism, then elaborated and extended in multiple ways. However, this paradigm is inadequate to capture many useful programming intuitions, arising in particular in the development of applications integrating distributed, autonomous components. Indee...
متن کاملConstruction of digital nets from BCH-codes
We establish a link between the theory of error-correcting codes and the theory of (t, m, s)-nets. This leads to the fundamental problem of net embeddings of linear codes. Our main result is the construction of four infinite families of digital (t, m, s)-nets based on BCH-codes.
متن کاملA Procedure for Automatic Proof Nets Construction
In this paper, we consider multiplicative linear logic (MLL) from an automated deduction point of view. Linear logic is more expressive than classical and intuitionistic logic and has an undirectional character due to the particular treatment of negation and the absence of structural rules. Considering this new logical framework to make logic programming or programming with proofs (extracting p...
متن کاملNanocalcium-deficient hydroxyapatite–poly (ɛ-caprolactone)–polyethylene glycol–poly (ɛ-caprolactone) composite scaffolds
A bioactive composite of nano calcium-deficient apatite (n-CDAP) with an atom molar ratio of calcium to phosphate (Ca/P) of 1.50 and poly(ɛ-caprolactone)-poly(ethylene glycol)-poly(ɛ-caprolactone) (PCL-PEG-PCL) was synthesized, and a composite scaffold was fabricated. The composite scaffolds with 40 wt% n-CDAP contained well interconnected macropores around 400 μm, and exhibited a porosity of 7...
متن کاملdiscursive motivation/demotivation construction: a case of iranian efl majors
بررسی نقش گفتمان در شکل گیری یا کاهش انگیزش فراگیران زبان خارجی موضوع تحقیق نسبتاً جدیدی است. از این رو، تحقیقات کمی در این زمینه وجود دارد. به منظور پر کردن این خلاء ، مطالعه کنونی به بررسی فرآیند گفتمان مدار شکل گیری یا کاهش انگیزش دانشجویان ایرانی زبان انگلیسی پرداخت. نخست، این مطالعه به صورت آزمایشی با 7 نفر (? دانشجوی پسر و 5 دختر) از دانشجویان سال دوم دوره ی کارشناسی زبان و ادبیات انگلیسی ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete & Computational Geometry
سال: 1990
ISSN: 0179-5376,1432-0444
DOI: 10.1007/bf02187804